-
1 propositional logic
логика высказываний, пропозициональная логикалогика, основным объектом которой служит понятие логического высказывания; простейшая логика, максимально близкая к человеческой логике неформальных рассуждений. Служит основой для более сложных логикАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > propositional logic
-
2 propositional logic
Большой англо-русский и русско-английский словарь > propositional logic
-
3 propositional logic
-
4 propositional logic
1) Компьютерная техника: пропозициональная логика2) Техника: логика высказываний -
5 propositional logic
логика высказыванийEnglish-Russian dictionary of technical terms > propositional logic
-
6 propositional logic
-
7 propositional logic
English-Russian dictionary of computer science > propositional logic
-
8 classical propositional logic
English-Russian scientific dictionary > classical propositional logic
-
9 propositional
пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое пропозициональное исчисление classical propositional logic ≈ классическая логика высказываний constructive propositional calculus ≈ конструктивное исчисление высказываний, конструктивное пропозициональное исчисление extended propositional calculus ≈ расширенное исчисление высказываний, расширенное пропозициональное исчисление intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология minimal propositional calculus ≈ минимальное исчисление высказываний, минимальное пропозициональное исчисление modal propositional calculus ≈ модальное исчисление высказываний, модальное пропозициональное исчисление multivalued propositional calculus ≈ многозначное исчисление высказываний, многозначное пропозициональное исчисление open propositional function ≈ открытая пропозициональная функция partial propositional calculus ≈ частное исчисление высказываний, частное пропозициональное исчисление positive propositional calculus ≈ позитивное исчисление высказываний, позитивное пропозициональное исчисление positive propositional tautology ≈ позитивная пропозициональная тавтология primitive propositional constant ≈ исходная пропозициональная постоянная proper propositional calculus ≈ собственное исчисление высказываний, собственное пропозициональное исчисление two-valued propositional calculus ≈ двузначное [классическое] исчисление высказываний, двузначное [классическое] пропозициональное исчисление unary propositional connective ≈ унарная пропозициональная связка - propositional algebra - propositional argument - propositional axiom - propositional calculus - propositional connective - propositional form - propositional formula - propositional function - propositional functor - propositional hierarchy - propositional implication - propositional inference - propositional interpretation - propositional letter - propositional logic - propositional operator - propositional tautology - propositional variable ПропозициональноБольшой англо-русский и русско-английский словарь > propositional
-
10 logic
-
11 logic
1) логика
2) словный
3) логический
– binary logic
– combinational logic
– combinatory logic
– commodity logic
– constructive logic
– core logic
– diode-transister logic
– diode-transistor logic
– extensional logic
– formal logic
– glue logic
– irregular logic
– lack of logic
– ladder logic
– level logic
– logic circuit
– logic diagram
– logic element
– logic gate
– logic machine
– logic modulus
– logic strength
– logic transistor
– majority logic
– mathematical logic
– modal logic
– negative logic
– NOR logic circuit
– predicate logic
– probabilistic logic
– propositional logic
– resistor-transistor logic
– ternary logic
– threshold logic
– transistor-transistor logic
– transistor-transistor logic
capacitive diode FET logic — логика на полевых транзисторах с емкостными связями через диоды
classical propositional logic — классическая логика высказываний
threshold logic unit — <comput.> блок логический пороговый
uncommitted logic elements — нескоммутированные логические элементы
-
12 propositional
-
13 logic
1) логикаа) в вычислительной технике - последовательность операций, выполняемых программно или аппаратно. Соответственно говорят о программной логике (program logic, software logic) и об аппаратной логике (hardware logic)см. тж. Boolean logic, crisp logic, formal logic, fuzzy logic, inductive logic, mathematical logic, predicate logic, propositional logic, symbolic logic2) логические схемы (вентили), схемотехникасхемы для реализации логических (булевых) операций (см. logic circuit); например, VLSI logic - схемотехника СБИСсм. тж. arbitration logic, binary logic, clockless logic, combinational logic, control logic, digital logic, discrete logic, interconnection logic, logic board, logic analyzer, logic chip, logic element, logic gate, negative logic, optical logic, positive logic, random logic, sequential logic, ternary logic3) (см. тж. logical) - логическийАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > logic
-
14 logic
[ˈlɔdʒɪk]belief logic логика веры binary logic вчт. двузначная логика byte-alignment logic вчт. логика перегруппировки байтов command logic вчт. логика команд common-sense logic логика здравого смысла constructive logic конструктивная логика control logic вчт. управляющая логика default logic вчт. логика рассуждений по умолчанию distributed logic вчт. распределенное управление dynamic logic вчт. динамическая логика first order logic логика первого порядка formal logic формальная логика fuzzy logic нечеткая логика inductive logic индуктивная логика intuitionistic logic интуиционистская логика ladder logic вчт. многозвенная логическая схема logic логика logic логическая схема logic логичность monotonic logic монотонная логика multivalued logic многозначная логика non-monotonic logic немонотонная логика operational logic логика действий presumed logic предопределенная логика probabilitic logic вероятностная логика probablistic logic вероятностная логика propositional logic пропозициональная логика pseudophysical logic псевдофизическая логика relevance logic логика определения релевантности second order logic логика второго порядка spatial logic пространственная логика stored logic вчт. зашитый алгоритм system logic вчт. системная логика temporal logic вчт. временная логика ternary logic вчт. трехзначная логика threshold logic пороговая логика two-line logic вчт. двухпроводная логическая схема wasted logic вчт. лишняя логическая схема -
15 logic
ˈlɔdʒɪk сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. clear logic ≈ четкая логика cold logic ≈ беспристрастная логика irrefutable logic ≈ неопровержимая логика deductive logic ≈ дедуктивная логика formal logic ≈ формальная логика inductive logic ≈ индуктивная логика simple logic ≈ простая логика symbolic logic ≈ символическая логика логика (наука) логика, логичность( аргументации и т. п.) ;
разумность;
закономерность - to argue with * рассуждать логично логика, неизбежный вывод;
неизбежность какого-л. поведения - the * of events логика событий (компьютерное) логическая схема алгоритм( разговорное) здравый смысл - there is no * in spending money on useless things нет никакого смысла /глупо/ тратить деньги на ерунду > to chop * спорить, препираться;
приводить противоречивые доводы belief ~ логика веры binary ~ вчт. двузначная логика byte-alignment ~ вчт. логика перегруппировки байтов command ~ вчт. логика команд common-sense ~ логика здравого смысла constructive ~ конструктивная логика control ~ вчт. управляющая логика default ~ вчт. логика рассуждений по умолчанию distributed ~ вчт. распределенное управление dynamic ~ вчт. динамическая логика first order ~ логика первого порядка formal ~ формальная логика fuzzy ~ нечеткая логика inductive ~ индуктивная логика intuitionistic ~ интуиционистская логика ladder ~ вчт. многозвенная логическая схема logic логика ~ логическая схема ~ логичность monotonic ~ монотонная логика multivalued ~ многозначная логика non-monotonic ~ немонотонная логика operational ~ логика действий presumed ~ предопределенная логика probabilitic ~ вероятностная логика probablistic ~ вероятностная логика propositional ~ пропозициональная логика pseudophysical ~ псевдофизическая логика relevance ~ логика определения релевантности second order ~ логика второго порядка spatial ~ пространственная логика stored ~ вчт. зашитый алгоритм system ~ вчт. системная логика temporal ~ вчт. временная логика ternary ~ вчт. трехзначная логика threshold ~ пороговая логика two-line ~ вчт. двухпроводная логическая схема wasted ~ вчт. лишняя логическая схема -
16 логика высказываний
Большой англо-русский и русско-английский словарь > логика высказываний
-
17 classical
1) классический
2) канонический
– classical mechanics
– classical model
– classical statistics
– classical theory
classical propositional logic — классическая логика высказываний
-
18 proposition
1) утверждение, высказывание, суждениепод высказыванием в обычной логике понимается утверждение или повествовательное предложение, относительно которого можно сказать, истинно оно или ложно (т. е. утверждение о истинности или ложности высказывания должно иметь смысл), при этом оно не может быть и истинным, и ложным одновременно. Высказывания называются простыми (simple proposition), если они не содержат связок, и сложными (compound proposition) в противном случае. Над высказываниями могут производиться логические операции.Syn:2) теорема3) предложение, план, проект4) глаг. предлагатьАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > proposition
-
19 calculus
-
20 function
1) функция2) функционировать; находиться в работоспособном состоянии3) выполнять функцию; играть роль4) (дополнительное) функциональное устройство, проф. функция ( в стандарте USB)5) вчт. отображение || отображать•- actuating transfer function
- additive function
- additive/multiplicative function
- admittance function
- advanced communication function
- affine Boolean function
- aggregate function
- algebraic function
- all-pass transfer function
- all-pole function
- all-zero function
- alternating function
- ambiguity function
- amplitude distribution function
- amplitude function
- AM-tive function additive/multiplicative function
- anode work function
- aperture phase function
- apodizing function
- application program function
- autocorrelation function
- automatic azimuth alignment function
- band-limited function
- base station control function
- basis function
- Bellman function
- bent function
- Bessel function of imaginary argument
- Bessel function
- beta function
- bijection function
- bijective function
- binary activation function
- binary sigmoid function
- binate function
- bipolar sigmoid function
- bi-state function
- bivariate distribution function
- Boolean function
- Bose-Einstein distribution function
- bounded function
- boxcar function
- Brillouin function
- built-in function
- Butterworth function
- carpet function
- carrier function
- cathode work function
- characteristic function
- circular function
- closed function
- closed-loop transfer function
- clutching function
- coherence function
- color matching functions
- comb function
- combination function
- combining function
- competitive function
- complementary error function
- complementary function
- composite function
- computable function
- concentrated likelihood function
- continuous function
- contrast transfer function
- control function
- convolution function
- correlation function
- cost function
- covariance generating function
- criterion function
- cross-correlation function - current potential function
- current transfer function
- curried function
- data communications function
- data-path function
- decision function
- degate function
- degating function
- delta function
- demand function
- density function
- descrambling function
- describing function
- difference transfer function
- differentiable function
- digamma function
- Dirac delta function
- Dirac function
- disconnect-reconnect function
- discriminant function
- distribution function
- driving-point function
- eikonal function
- electron wave function
- embedding function
- encryption function
- ergodic function
- error function
- excitation function
- explicit function
- exponential function
- extensional function
- external function
- failure density function
- feedback transfer function
- Fermi function
- Fermi-Dirac distribution function
- force function
- forward transfer function
- frequency function
- frequency-generating function
- frequency-response function
- friend function
- FS function
- full-speed function
- fuzzy function
- fuzzy objective function
- fuzzy utility function
- gage function
- Gaussian function
- Gaussian radial basis function
- generalized function
- generic function
- global implicit function
- global inverse function
- Green functions
- Green's function
- Hamilton function
- Hankel function
- hard limit activation function - hazard function
- head-related transfer function
- Heaviside step function
- Huber function
- hyperbolic function
- hyperbolic tangent activation function
- idempotent function
- image function
- impedance function
- implicit function
- injection function
- injective function
- inline function
- intensional function
- interference function
- interworking function
- inverse distribution function
- inverse function
- invertible mapping function
- inverting function
- kernel function
- Lagrange's function
- Langevin function
- latent function
- Legendre associated function of the first kind
- Legendre associated function of the second kind
- Legendre function of the first kind
- Legendre function of the second kind
- lexical function
- likelihood function
- line search function
- linear function
- linear logic function
- logic function
- logistic function
- logistic sigmoid function
- log-likelihood function
- log-linear function
- log-log function
- look-up function
- loss function
- low-speed function
- LS function
- luminosity function
- macro function
- main function
- maintenance entity function
- majorized function
- majorizing function
- mapping function
- Markov function
- mathematical function
- member function
- membership function
- memo function
- memoised function
- memoized function
- minorized function
- minorizing function
- modified Bessel function
- modular hash-function
- modulating function
- modulation transfer function
- moment-generating function
- monotonic function
- Morse function
- multi-input multi-output transfer function
- multi-valued function
- multivariate distribution function
- mutual coherence function
- natural trigonometric function
- never-decreasing function
- never-increasing function
- non-decreasing function
- non-increasing function
- nonlinear function
- normalized Gaussian radial basis function
- normalized radial basis functions with equal heights
- normalized radial basis functions with equal volumes
- normalized radial basis functions with equal widths and heights
- normalized radial basis functions with equal widths
- normalized radial basis functions with unequal widths and heights
- objective function
- one-one function
- one-to-one function
- one-way function
- one-way hash function
- open-loop transfer function
- optical transfer function
- ordinary Gaussian radial basis function
- ordinary radial basis functions with equal widths
- ordinary radial basis functions with unequal widths
- orthogonal functions
- overlapped functions
- partial autocorrelation function
- penalty function
- perfect hash-function
- phase transfer function
- photoelectric work function
- photopic response function
- piecewise constant function
- piecewise linear function
- piecewise polynomial function
- Pierce function
- point-spread function
- polynomial function
- positive linear function
- postsynaptic potential function
- power function of test
- power function
- predefined function
- predicate function
- probability density function
- probability function
- probability mass function
- production function
- projection function
- projective function
- propagation function
- propositional function
- PSP function
- pulsating function
- pure virtual function
- quadratic error function
- radial basis function
- radial combination function
- ramp function
- range weighting function
- reactance function
- register function
- regression function
- resolvent function
- response function
- restricted function
- risk function
- saturating linear function
- scalar function
- scaling function
- scattering function
- scedastic function
- Schrödinger wave function
- scrambling function
- screen size-viewing distance function
- self-inverse function
- semilinear function
- sensing function
- sentential function
- shape function
- sigmoid activation function
- sigmoid function
- sign function
- signal function
- signum activation function
- signum function
- smooth function
- socket library function
- softmax activation function
- spectral density function
- spectral function
- spectral radiance function
- spline function
- spot function
- spread function
- square-integrable function
- square-law transfer function
- squashed sign function
- squashing function
- state function
- state query function
- steering function
- step function
- stream function
- summing function
- support entity function
- support function
- supported function
- surjection function
- surjective function
- survival function
- switch function
- switching function
- switch-type function
- symmetric saturating linear function
- tame function
- tan-sigmoid activation function
- target function
- tensor function
- tesseral function
- testing function
- tetragamma function
- thermionic work function
- threshold function
- through transfer function
- transcendental function
- transfer function
- trial function
- trigamma function
- trigonometric function
- tri-state function
- typematic function
- unate function
- uncurried function
- unit impulse function
- unit step function
- unsupported function
- user-defined function
- utility function
- vector function
- virtual function
- visibility function
- voltage potential function
- voltage transfer function
- Walsh functions
- wave function
- wave-number limited function
- weighting function
- window function
- work functionThe New English-Russian Dictionary of Radio-electronics > function
- 1
- 2
См. также в других словарях:
propositional logic — noun a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them • Syn: ↑propositional calculus • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal logic … Useful english dictionary
propositional logic — noun A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives. Syn: propositional calculus … Wiktionary
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
Logic (disambiguation) — Logic is the study of the principles and criteria of valid inference and demonstration.Logic may also refer to:In logic and mathematics*A branch of logic: **Inductive logic, also called induction or inductive reasoning **Informal logic, the study … Wikipedia
Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Propositional variable — In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is a variable which can either be true or false. Propositional variables are the basic building blocks of propositional formulas, used in… … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium